editors

Ox editor

The simple but flexible text editor

Details